Transformation of SBVR Compliant Business Rules to Executable FCL Rules
نویسندگان
چکیده
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards which businesses are obligated to comply. At the same time, many organizations have their business processes specified independently of their business obligations (which include adherence to contracts laws and regulations). Thus, the problem of mapping business changes into computational systems becomes much more complicated. In this paper we address the problem by providing an automated transformation of business rules into a formal language capable of directly mapping onto executable specifications. The model transformation is consistent with MDA/MOF/QVT concepts using ATL to perform the mapping. Business rules are compliant to SBVR metamodel, and are transformed into FCL, a logic based formalism, known to have a direct mapping onto executable specifications. Both, source and target rules are based on principles of deontic logic, the core of which are obligations, permissions and prohibitions.
منابع مشابه
Generating SQL Queries from SBVR Rules
Declarative technologies have made great strides in expressivity between SQL and SBVR. SBVR models are more expressive that SQL schemas, but not as imminently executable yet. In this paper, we complete the architecture of a system that can execute SBVR models. We do this by describing how SBVR rules can be transformed into SQL DML so that they can be automatically checked against the database u...
متن کاملAutomated transformation of Business Rules into Business Processes From SBVR to BPMN
this paper presents a novel approach for transforming Business Rules expressed with Semantic of Business Vocabulary and Rules (SBVR) into (BPMN) Business Process models. This transformation provides several benefits to Information System project stakeholders, such as: enhancing requirement validation and refinement, improving Business Processes documentation, and reducing their overall modeling...
متن کاملSBVR based Business Contract and Business Rule IDE
We propose an IDE – Integrated Development Environment to model SBVR (Semantic of Business Vocabulary and Business Rule) compliant business rules [2] extracted from business contract of services and store them in an ontological structure of rules, facts and terms as defined in the SBVR metamodel. Business rules are based on principles of deontic logic for treating expressions in the form of nor...
متن کاملTransformation Rules for Translating Business Rules to OCL Constraints
In design of component based applications, the designers have to produce visual such as Unified Modeling Language (UML) models, and describe the software component interfaces. Business rules and constraints are the key components in the skeletons of software components. Semantic of Business Vocabulary and Rules (SBVR) language is typically used to express constraints in natural language and the...
متن کاملSemantics in Model-Driven Business Design
This position paper describes ongoing work in applying the new OMG standard called Semantics in Business Vocabulary and Rules (SBVR) to a model-based approach to business design and implementation. The work explores methods of specifying semantics and rules in SBVR’s “Structured English” as extensions of business models that are automatically translated to executable solutions. Introduction The...
متن کامل